Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·1d
⚖️Hoare Logic
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.io·13m
📊Graph Databases
LFCS Seminar Friday 27th June: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
Proving that every program halts
ntietz.com·2d
👑Isabelle
I Built My Own Programming Language and its Virtual Machine In Python!
dev.to·17h·
Discuss: DEV
🔗Concatenative Programming
Cactus Language • Syntax 11
inquiryintoinquiry.com·1d
📝Concrete Syntax
Counting with Categories (Part 3)
golem.ph.utexas.edu·22h
λLambda Formalization
2025-06-24: GPU Hours Granted on Hypothesis Generation by Oak Ridge Leadership Computing Facility
ws-dl.blogspot.com·22h·
Discuss: ws-dl.blogspot.com
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
DSA Fundamentals #1: A Practical Guide to Propositional Logic
beyondit.blog·5d
🧮Theorem Proving
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·14h
🧮Prolog Parsing
DRIFT: Data Reduction via Informative Feature Transformation- Generalization Begins Before Deep Learning starts
arxiv.org·10h
🧠Machine Learning
LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization
arxiv.org·1d
🔗Monadic Parsing
A very short book note
logicmatters.net·4d
⚔️Lean Theorem
Validating Mechanistic Interpretations: An Axiomatic Approach
arxiv.org·1d
⚖️Hoare Logic
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·21h·
Discuss: Hacker News
💻Local LLMs
Introduction to Algorithms: What They Are and Why They Matter
dev.to·1d·
Discuss: DEV
🧮Kolmogorov Complexity
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·3h·
Discuss: Hacker News, r/programming
🔗Lisp
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.org·4d·
Discuss: Hacker News, r/programming
💻Programming languages
Computation of Immediate Neighbours of Monotone Boolean Functions
arxiv.org·1d
🔲Cellular Automata